<?php
require('highlight_code.php');
   
    if(!isset($_POST['code']))
    {
        ?>
            <form method="post" action="<?=$_SERVER['REQUEST_URI']?>">
                <textarea name="code" rows="30" cols="80" style="display:block"></textarea>
                <input type="submit" name="Senden" value="Senden"/>
            </form>
        <?
        die();
    }
   
    $highlight = new highlighter();

    echo('<style type="text/css">');
    $highlight->put_default_css();
    echo('</style>');
   
    $highlight->add_default_keywords(1);
    $highlight->add_default_keywords(2);
    $highlight->add_default_keywords(3);
   
    if(get_magic_quotes_gpc())
        $_POST['code'] = stripslashes($_POST['code']);
   
    $text = $highlight->parse($_POST['code']);
   
    // Add line numbers
    $lines = '';
    foreach(split("\n", $text) as $line)
        $lines .= (str_pad(++$lineNumber, 3, '0', STR_PAD_LEFT).'<br/>');
   
    echo('<table><tr><td valign="top"><code><span style="background-color: #eeeeeee; color: #808080; font-size: 11px" >'.$lines.'</span></'.'code></td>'.
            '<td nowrap valign="top"><span style="color: #000000; font-size:8pt; font-size: 11px;"><code class="highlight">'.$text.'</'.'code></div></td></tr></table>');
    die(); 
?>

